Reversibility in Erlang: Imperative Constructs

A relevant application of reversibility is causal-consistent reversible debugging, which allows one to explore concurrent computations backward and forward find a bug. This approach has been put into practice in CauDEr, debugger for the Erlang programming language. CauDEr supports functional, distributed fragment Erlang. However, also includes imperative features manage map (shared among all processes same node) associating process identifiers names. Here we extend related theory support such features. From theoretical point view, added primitives create different causal structures than those derived from previously handled yet show that main results proved are still valid.